The Award

kowsar award 2011; professor howard thomas: the winner of the third kowsar award in 2011

Award 2007 Winners Academic Award

Innovation and Benefits A fundamental aspect of chemistry involves creating chemical bonds between carbon atoms. Chemical processes commonly used to make such bonds usually also generate significant amounts of waste. Professor Krische developed a broad new class of chemical reactions that make bonds between carbon atoms using hydrogen and metal catalysts. This new class of reactions can be used...

The Ackermann Award 2013

The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the previous three years, the EACSL Ackermann Award is generously sponsored by the Kurt Gödel Society. Besides providing financial support for the Ackermann Award, the Kurt Gödel Society has also committed to inviting the recipient of the Award for a special lecture to be given to the Society in Vienna. The...

The Ackermann Award 2017

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL’xx). This contribution reports on the 2017 edition of the award. 1998 ACM Subject Classification F.3 Logics and Meanings of Programs, F.4 Mathematical Logic and Formal Languages

The Tilley Award PC

In 1998, Dorset Police undertook a six month pilot project in problem oriented policing (POP). The Charminster Beat Project was the result. Contingent on the results of the project the force would consider implementing problem solving across the force area. Comparatively, crime on the Charminster Beat, across all categories, was disproportionately high. The evidence of a survey in the area coul...